3

Verification of real-time systems design

Year:
2010
Language:
english
File:
PDF, 993 KB
english, 2010
10

A translation of into a class of timed-probabilistic Petri nets

Year:
2005
Language:
english
File:
PDF, 588 KB
english, 2005
12

A congruence relation for sPBC

Year:
2008
Language:
english
File:
PDF, 1.14 MB
english, 2008
20

Guest Editorsʼ Foreword

Year:
2013
Language:
english
File:
PDF, 105 KB
english, 2013